翻訳と辞書
Words near each other
・ Causeway Coast and Glens District Council election, 2014
・ Causeway End
・ Causeway End (Dumfries and Galloway) railway station
・ Causeway GAA
・ Causeway Institute
・ Causeway Islands
・ Causeway Lane, Melbourne
・ Causeway Link
・ Causeway Point
・ Causeway railway station
・ Causeway Road
・ Causeway School
・ Causeway Street Elevated
・ Causeway United F.C.
・ Causeway, County Kerry
Causal consistency
・ Causal contact
・ Causal decision theory
・ Causal dynamical triangulation
・ Causal fermion system
・ Causal filter
・ Causal graph
・ Causal inference
・ Causal layered analysis
・ Causal loop
・ Causal loop diagram
・ Causal Markov condition
・ Causal model
・ Causal patch
・ Causal perturbation theory


Dictionary Lists
翻訳と辞書 辞書検索 [ 開発暫定版 ]
スポンサード リンク

Causal consistency : ウィキペディア英語版
Causal consistency
Causal consistency is one of the consistency models used in the domain of concurrent programming (e.g. in distributed shared memory, distributed transactions etc.).
A system provides causal consistency if memory operations that potentially are causally related are seen by every node of the system in the same order. Concurrent writes (i.e. ones that are not causally related) may be seen in different order by different nodes. This is weaker than sequential consistency, which requires that all nodes see all writes in the same order, but is stronger than PRAM consistency, which requires only writes done by a single node to be seen in the same order from every other node.
Condition-writes that are potentially causally related must be seen by all processes in the same order.
When a node performs a read followed later by a write, even on a different variable, the first operation is said to be causally ordered before the second, because the value stored by the write may have been dependent upon the result of the read. Similarly, a read operation is causally ordered after the earlier write on the same variable that stored the data retrieved by the read. Also, even two write operations performed by the same node are defined to be causally ordered, in the order they were performed. Intuitively, after writing value ''v'' into variable ''x'', a node knows that a read of ''x'' would give ''v'', so a later write could be said to be (potentially) causally related to the earlier one.
Finally, we force this causal order to be transitive: that is, we say that if operation A is (causally) ordered before B, and B is ordered before C, A is ordered before C.
Operations that are not causally related, even through other operations, are said to be concurrent.
== External links ==

*

抄文引用元・出典: フリー百科事典『 ウィキペディア(Wikipedia)
ウィキペディアで「Causal consistency」の詳細全文を読む



スポンサード リンク
翻訳と辞書 : 翻訳のためのインターネットリソース

Copyright(C) kotoba.ne.jp 1997-2016. All Rights Reserved.